H ? « ‹ ← → › »

Language peer sets for Cambridge LCF:
United Kingdom↑
United Kingdom/1982↑
Designed 1982 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

Cambridge LCF(ID:8176/)

alternate simple view
Country: United Kingdom
Designed 1982

LCF with the PPLambda calculus

Gordon and Paulson, Uni of Cambrisge 1982
Related languages
Edinburgh LCF → Cambridge LCF   Evolution of
Cambridge LCF → HOL   Based on
Cambridge LCF → HOLCF   Evolution of
Cambridge LCF → PPLambda   Component of
References:
  • Gordon, Mike (1983) Gordon, Mike "A system for specifying and verifying hardware" Technical Report UCAM-CL-TR-41 Online copy
  • Gordon, Mike (1983) Gordon, Mike "Proving a computer correct with the LCF_LSM hardware verification system" Technical Report UCAM-CL-TR-42 Online copy
  • Paulson, Larry (1983) Paulson, Larry "Recent developments in LCF: examples of structural induction" January 1983 UCAM-CL-TR-34
  • Paulson, Larry (1983) Paulson, Larry "Rewriting in Cambridge LCF" UCAM-CL-TR-35 February 1983
  • Paulson, Lawrence (1983) Paulson, Lawrence "Structural induction in LCF" Technical Report UCAM-CL-TR-44 Online copy
  • Paulson, Lawrence (1983) Paulson, Lawrence "Tactics and tacticals in Cambridge LCF" Technical Report UCAM-CL-TR-39 July 1983
  • Paulson, Lawrence (1983) Paulson, Lawrence "The revised logic PPLAMBDA: A reference manual" UCAM-CL-TR-36 March 1983
  • Paulson, Lawrence (1984) Paulson, Lawrence "Lessons learned from LCF" UCAM-CL-TR-54 August 1984
  • Paulson, Lawrence (1984) Paulson, Lawrence "Verifying the unification algorithm in LCF" Technical Report UCAM-CL-TR-50 March 1984 Extract: Overview of LCF
  • Paulson, Lawrence C. (1985) Paulson, Lawrence C. "Interactive theorem proving with Cambridge LCF A user's manual" UCAM-CL-TR-80 November 1985
  • Paulson, LC (1985) Paulson, LC "Lessons learned from LCF: a survey of natural deduction proofs" pp474-479
          in (1985) The Computer Journal 28(5) 1985
  • Paulson, L. (1987) Paulson, L. "Logic and Computation: Interactive Proof with Cambridge LCF", Cambridge U Press, 1987.
          in (1985) The Computer Journal 28(5) 1985
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder